Nuprl Definition : qless
11,40
postcript
pdf
qless(
r
;
s
) == grp_lt(qadd_grp;
r
;
s
)
latex
Definitions
qadd_grp
,
grp_lt(
g
;
a
;
b
)
FDL editor aliases
qless
origin